семантическая эквивалентность

См. также в других словарях:

• семантическая эквивалентность производного и производящего — наблюдается: 1) при образовании усеченных слов: специалист спец; 2) при образовании аббревиатур …   Словарь лингвистических терминов Т.В. Жеребило

• семантическая эквивалентность производного и производящего наблюдается: —   1) при образовании усеченных слов: специалист – спец;   2) при образовании аббревиатур …   Морфемика. Словообразование: Словарь-справочник

• Синонимия — (от греч. συνωνυμία  одноимённость)  тип семантических отношений языковых единиц, заключающийся в полном или частичном совпадении их значений. Синонимия свойственна лексической, фразеологической, грамматической, словообразовательной системам… …   Лингвистический энциклопедический словарь

• Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS)  это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… …   Википедия

• Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике  исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… …   Википедия

• ТОРМОЖЕНИЕ — 1. Ограничение, предотвращение, подавление, уменьшение или запрещение какого то процесса, или процесс, который вызывает такое ограничение. Несколько более специальное значение 2. 2. В физиологии – сдерживание текущего органического процесса или… …   Толковый словарь по психологии

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

• ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

• ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

• Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …   Википедия

• Исчисление предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …   Википедия